$\forall$$l$:IdLnk. AtomFree(IdLnk;$l$)